MARIJN HEULE

Marijn Heule adalah seorang peneliti di Carnegie Mellon University yang terkenal karena kontribusinya dalam memecahkan masalah matematika yang sulit menggunakan alat satisfiability. Ia mendalami cara mengotomatisasi penalaran dan menggabungkan teknologi baru seperti model bahasa besar untuk meningkatkan kemampuan pemecahan masalah.